#!/usr/bin/env bash

sudo sed -i -r 's/GRUB_TIMEOUT=[0-9]*$/GRUB_TIMEOUT=1/' /etc/default/grub
sudo grub2-mkconfig -o /boot/grub2/grub.cfg
# for debian
